$\forall$${\it es}$:ES, $e$, ${\it e'}$:E. (loc($e$) = loc(${\it e'}$) $\in$ Id) $\Rightarrow$ ($e$ $\leq$loc ${\it e'}$  $\vee$ ${\it e'}$ $\leq$loc $e$ )